proof of d